Theorems on calculus of variations